2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition
Автор:
Michael Huth
, Автор:
Mark Ryan
Категория:
Компьютеры
Размер книги: 2.15 Mb
Logic in computer science
Автор:
Michael Huth
, Автор:
Mark Ryan
Категория:
Discrete math
Размер книги: 2.04 Mb
Logic in computer science: modelling and reasoning about systems
Автор:
Michael Huth
, Автор:
Mark Ryan
, Автор:
M. Huth
, Автор:
M. Ryan
Размер книги: 65.36 Mb
Tools and Algorithms for the Construction and Analysis of Systems, 13 conf., TACAS 2007
Автор:
Orna Grumberg
, Автор:
Michael Huth
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 8.60 Mb
Secure Communicating Systems: Design, Analysis, and Implementation
Автор:
Michael R. A. Huth
Размер книги: 22.34 Mb
